fix(service-settings): localization 的标准域是执行边界 —— valueDomain 两扇门落地 (#5712) - #6581

Closes #5712. The services half of the 2026-08-06 ruling (reading 1): the curated options tables on localization.timezone / localization.currency are UI convenience lists; the enforcement boundary is the standard domain (IANA / ISO 4217). The spec half shipped as #6515 (2fdb36e, SpecifierValueDomainSchema); this PR makes service-settings enforce what that vocabulary declares.

Merged-ref re-verify (first action, per the #6465 discipline)

Re-read at post-merge origin/main (1a53a02) before any code:

• feat(spec): SpecifierSchema gains a closed valueDomain enum #6515 delivered a three-member closed enum — iana_time_zone, iso_4217_currency, iso_3166_alpha2. The issue's proposed fourth member bcp47_locale did NOT survive (deliberately rejected: localization.locale's options ARE the shipped catalogs — a registry-backed table that a domain would loosen — and BCP-47 has no membership registry to enforce against). No premise of this card depended on it: locale stays undeclared and exhaustive.
• The spec's TSDoc pins each domain's membership definition, and its test block re-measures them; the enforcement here implements those definitions verbatim (see below). One handoff the spec side flagged explicitly: iso_3166_alpha2 has no standard-library oracle — the enforcing side must carry the alpha-2 list, and the list must not live in spec.
• fix(service-settings): enforce the declared step grid on the settings write path and the env path (#6199) #6501 (step grid, merged the same day) had already reshaped this validation surface: the constraint families are judged by shared helpers at ONE decision point per door (firstRejectedOption / firstRangeViolation, both called from validatePatch and effectiveEnvOverride). This PR follows that exact shape — one new shared judgment (firstRejectedDomainMember), called from both doors, and the test blocks mirror fix(service-settings): enforce the declared step grid on the settings write path and the env path (#6199) #6501's idiom.
• Parse round-trip confirmed in-tree: the manifest's new valueDomain keys survive SettingsManifestSchema.parse (the localization 的 timezone / currency 用「策展式 options 表」当穷尽执行边界:合法的 IANA 时区与 ISO 4217 币种被拒 #5712 dev report's format-stripped measurement, now inverted by the closed enum).

What lands

Manifest (localization.manifest.ts): timezone declares iana_time_zone, currency declares iso_4217_currency, and default_country declares iso_3166_alpha2. Options stay curated; descriptions are untouched — they promised these open domains all along, and the declaration is what makes the promise true.

Both doors (settings-service.ts), each at its existing single decision point:

• Write door (validatePatch): a domain-bearing specifier skips the exhaustive-options check and judges the standard's membership instead. Ordering: pattern speaks first (shape and membership narrow independently, a value must satisfy both; the shape breach is the coarser fact — the same one-error-per-key argument as settings 的 step 是同族第五个声明但不执行的值约束键 —— 先要一个「它算不算值约束」的判断 #6199's window-before-grid). Breach code is invalid_value with constraint: { valueDomain: '…' }.
• Env door (effectiveEnvOverride): same membership judgment. A garbage override is loudly reported once and ignored — falls to the next cascade layer, pins nothing (env 来源的 settings 值绕过 manifest 的 options 表校验 —— #5094 在写入 API 上堵住的洞，在 OS_* 覆盖这一侧原样敞开 #5204's contract, unchanged). A legal one wins the cascade and locks the key, so OS_LOCALIZATION_TIMEZONE=Europe/Zurich is now honored.

Error code — invalid_value, flagged as a deliberate choice. No FieldErrorCode member names a standard-domain breach. invalid_option was considered and rejected: its catalog line reads "not a member of the field's declared options", and with a domain declared, the declared options are exactly the list a legal value may be outside of — the code would misname the set consulted. invalid_value is the catalog's declared slot for "rejected for a reason no other member names", the same verdict #6199 reached for the step grid. The domain travels in constraint, so clients can branch without parsing prose. HTTP surface unchanged: 400 SETTINGS_VALIDATION with details.fields.

Validator definitions (value-domains.ts, new — follows the spec's pinned TSDoc):

• iana_time_zone = the Intl.DateTimeFormat probe (the isValidTimeZone shape from resolve-authz-context.ts, restated because it is module-private there). ⛔ NOT Intl.supportedValuesOf('timeZone'): measured on Node 22 it is a 418-entry CLDR subset that omits UTC (the manifest's own default), Asia/Kolkata (a curated option), Europe/Kyiv, US/Eastern, GMT — and renames rather than merely omits (Asia/Calcutta, Europe/Kiev), so using it would replay this card's defect at 418 entries.
• iso_4217_currency = Intl.supportedValuesOf('currency') (measured usable: 162 entries, CHF in, all 9 curated in, XYZ out), cached once.
• iso_3166_alpha2 = an explicit list of the 249 officially assigned codes, carried here per the spec handoff (Intl.DisplayNames names ZZ "Unknown Region" and admits the UK alias, so it is not an oracle). Structural pins: size 249, all uppercase pairs; ZZ / UK / XX refused.
• A misspelt domain on a hand-built manifest (no Zod pass) records nothing — the service-settings: select 型 specifier 的 options 在保存期完全不校验 —— 声明的枚举不被强制 #5131 exhaustive check stays in force rather than opening an accept-everything hole; pinned by test.

default_country: adopted in this PR. The merged enum covers ISO 3166-1 alpha-2, so the third case of the same hole is closed here: ZZ (shape-valid, assigned to nobody) is refused by membership while pattern still owns the shape verdict (ZZZ → invalid_format). One deliberate tightening to note: membership is exact uppercase, as the standard spells its codes — us was previously accepted by ^[A-Za-z]{2}$ and is now refused. No in-repo consumer writes lowercase (measured: the key has no runtime reader in-repo).

Regression pin (#5131 semantics survive): a specifier WITHOUT valueDomain is byte-for-byte unchanged — pinned on both doors against mail.provider (sendgrid still refused invalid_option) and localization's own domain-less keys (first_day_of_week, date_format env override).

Reverse verification (direction predicted first)

Predicted: reverting settings-service.ts to origin/main (manifest keeps its declarations, which the old service ignores) turns the new cases red in two distinct ways — acceptance cases red via invalid_option refusals, the ZZ rejection case red by resolving — while the #5131 regression pins and the validator unit pins stay honestly green. Measured: 15 of the 18 new service/route cases went red exactly as predicted, and the 4 survivors are precisely the pins that must not depend on the new limb ("still accepts every curated option", the two #5131 exhaustive pins, the typo-fallback pin). The fixed file was restored and verified byte-identical (diff), then the full suite re-run green.

Verification (all foreground, real readings)

• pnpm --filter @objectstack/service-settings test → 16 files, 318 passed, 0 failed (49 new cases across 4 files)
• pnpm exec tsc --noEmit (in the package) → 13 errors, all pre-existing — exactly the ledgered debt count in check-type-check-coverage.mjs; my files contribute 0. (Two ES2022-lib traps were fixed rather than ledgered: Object.hasOwn and typed supportedValuesOf are spelled ES2020-compatibly with removal notes, since the root lib bump is not this PR's decision.)
• pnpm exec eslint on all 7 touched files → clean
• node scripts/check-nul-bytes.mjs → OK; control-byte self-scan of new files → clean
• Changeset: .changeset/localization-value-domain-enforced.md (patch, @objectstack/service-settings)

Out of scope, filed separately

• company.country 仍是 #5712 同一洞的第四例:^[A-Za-z]{2}$ 收下 ZZ,而 iso_3166_alpha2 域执行已在库 #6579 — company.manifest.ts's country key carries the same ^[A-Za-z]{2}$ hole (feat(spec): SpecifierSchema gains a closed valueDomain enum #6515's premise re-verify named it as the fourth key); now that enforcement exists, adopting iso_3166_alpha2 there is a one-line follow-up (filed with Blocked-by: #5712).
• settings env 门不执行 pattern:写入门拒的形状非法值,OS_* 覆盖照收——#5204 不对称的最后一族 #6580 — effectiveEnvOverride judges options / domains / bounds but not pattern: a pattern-only key accepts via env what the write door refuses — the env 来源的 settings 值绕过 manifest 的 options 表校验 —— #5094 在写入 API 上堵住的洞，在 OS_* 覆盖这一侧原样敞开 #5204 asymmetry for the one remaining declared-constraint family (in-repo instance: OS_COMPANY_COUNTRY=ZZZ).

🤖 Generated with Claude Code

https://claude.ai/code/session_01USNUyHEr7uaU6MoEWXitei

Generated by Claude Code